Javier Troya: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

Don't use scam websites

1

A framework for secure execution of software

Antonio Maña, Javier Lopez, Juan J. Ortega, Ernesto Pimentel, Jose M. Troya

Journal:

International Journal of Information Security

Year:

2004

Language:

english

File:

PDF, 991 KB

english, 2004

2

Topical cidofovir for plantar warts

Padilla España, Laura, del Boz, Javier, Fernández Morano, Teresa, Arenas Villafranca, Javier, de Troya Martín, Magdalena

Journal:

Dermatologic Therapy

Year:

2014

Language:

english

File:

PDF, 175 KB

english, 2014

3

[IEEE 2007 IEEE Symposium on Computers and Communications - Santiago, Portugal (2007.07.1-2007.07.4)] 2007 IEEE Symposium on Computers and Communications - TC-WSANs: A Tuple Channel based Coordination Model for Wireless Sensor and Actor Networks

Barbaran, Javier, Diaz, Manuel, Esteve, Inaki, Garrido, Daniel, Llopis, Luis, Rubio, Bartolome, Troya, Jose M.

Year:

2007

Language:

english

File:

PDF, 413 KB

english, 2007

4

Metamorphic Testing of RESTful Web APIs

Segura, Sergio, Parejo, Jose A., Troya, Javier, Ruiz-Cortes, Antonio

Journal:

IEEE Transactions on Software Engineering

Year:

2017

Language:

english

File:

PDF, 2.73 MB

english, 2017

5

[ACM Press the 40th International Conference - Gothenburg, Sweden (2018.05.27-2018.06.03)] Proceedings of the 40th International Conference on Software Engineering - ICSE '18 - Metamorphic testing of RESTful web APIs

Segura, Sergio, Parejo, José A., Troya, Javier, Ruiz-Cortés, Antonio

Year:

2018

Language:

english

File:

PDF, 66 KB

english, 2018

6

Spectrum-Based Fault Localization in Model Transformations

Troya, Javier, Segura, Sergio, Parejo, Jose Antonio, Ruiz-Cortés, Antonio

Journal:

ACM Transactions on Software Engineering and Methodology

Year:

2018

Language:

english

File:

PDF, 5.86 MB

english, 2018

7

[IEEE 2019 IEEE/ACM 4th International Workshop on Metamorphic Testing (MET) - Montreal, QC, Canada (2019.5.26-2019.5.26)] 2019 IEEE/ACM 4th International Workshop on Metamorphic Testing (MET) - Metamorphic Relation Patterns for Query-Based Systems

Segura, Sergio, Duran, Amador, Troya, Javier, Ruiz-Cortes, Antonio

Year:

2019

Language:

english

File:

PDF, 773 KB

english, 2019

8

Specification of a framework for the anonymous use of privileges

Vicente Benjumea, Javier Lopez, Jose M. Troya

Journal:

Telematics and Informatics

Year:

2006

Language:

english

File:

PDF, 1.04 MB

english, 2006

9

Security protocols analysis: A SDL-based approach

Javier Lopez, Juan J. Ortega, Jose M. Troya

Journal:

Computer Standards & Interfaces

Year:

2005

Language:

english

File:

PDF, 182 KB

english, 2005

10

Anonymity analysis in credentials-based systems: A formal framework

Vicente Benjumea, Javier Lopez, Jose M. Troya

Journal:

Computer Standards & Interfaces

Year:

2008

Language:

english

File:

PDF, 512 KB

english, 2008

11

Etanercept en pacientes con psoriasis e infección crónica por VHC

Laura Padilla-España, Teresa Fernández-Morano, Javier del Boz González, Marta Frieyro Elicegui, Nuria Blázquez Sánchez, Magdalena de Troya Martín

Journal:

Year:

2012

File:

PDF, 627 KB

2012

12

Integrating PMI services in CORBA applications

Javier López, Antonio Maña, Juan J. Ortega, José M. Troya, Mariemma I. Yagüe

Journal:

Computer Standards & Interfaces

Year:

2003

Language:

english

File:

PDF, 1.80 MB

english, 2003

13

Pediatric Tinea Faciei in Southern Spain: A 30-Year Survey

Javier del Boz, Vicente Crespo, Magdalena de Troya

Journal:

Pediatric Dermatology

Year:

2012

Language:

english

File:

PDF, 112 KB

english, 2012

14

Placas eritematosas parduzcas atróficas de 40 años de evolución

Inés Fernández-Canedo, Nuria Blázquez, Ana I. Bernal, Javier Romero, Magdalena de Troya-Martín

Journal:

Actas Dermo-Sifiliográficas (Spanish Edition)

Year:

2005

File:

PDF, 1.79 MB

2005

15

Model-driven performance analysis of rule-based domain specific visual models

Javier Troya, Antonio Vallecillo, Francisco Durán, Steffen Zschaler

Journal:

Information and Software Technology

Year:

2013

Language:

english

File:

PDF, 3.71 MB

english, 2013

16

[IEEE 2012 38th EUROMICRO Conference on Software Engineering and Advanced Applications (SEAA) - Cesme, Izmir, Turkey (2012.09.5-2012.09.8)] 2012 38th Euromicro Conference on Software Engineering and Advanced Applications - An MDE Approach for Runtime Monitoring and Adapting Component-Based Systems: Application to WIMP User Interface Architectures

Criado, Javier, Iribarne, Luis, Padilla, Nicol's, Troya, Javier, Vallecillo, Antonio

Year:

2012

Language:

english

File:

PDF, 426 KB

english, 2012

17

Specification and simulation of queuing network models using Domain-Specific Languages

Troya, Javier, Vallecillo, Antonio

Journal:

Computer Standards & Interfaces

Year:

2014

Language:

english

File:

PDF, 3.25 MB

english, 2014

18

Ecografía cutánea de alta frecuencia en el diagnóstico del cáncer cutáneo

Hernández, Carlos, del Boz, Javier, de Troya, Magdalena

Journal:

Year:

2014

Language:

spanish

File:

PDF, 1.37 MB

spanish, 2014

19

Tratamiento de verrugas anogenitales con cidofovir tópico

Fernández-Morano, Teresa, del Boz, Javier, Frieyro-Elichegui, Marta, Repiso, Juan Bosco, Padilla-España, Laura, de Troya-Martín, Magdalena

Journal:

Enfermedades Infecciosas y Microbiología Clínica

Year:

2013

File:

PDF, 172 KB

2013

20

[IEEE IEEE International Conference on Pervasive Services - The Marmara Istanbul (2007.07.15-2007.07.20)] IEEE International Conference on Pervasive Services - Programming Wireless Sensor and Actor Networks with TC-WSANs

Barbaran, Javier, Diaz, Manuel, Esteve, Inaki, Garrido, Daniel, Llopis, Luis, Rubio, Bartolome, Troya, Jose M.

Year:

2007

Language:

english

File:

PDF, 2.88 MB

english, 2007

21

Successful treatment of periungual warts with topical cidofovir

Padilla España, Laura, del Boz, Javier, Fernández Morano, Teresa, Arenas-Villafranca, Javier, de Troya, Magdalena

Journal:

Dermatologic Therapy

Year:

2014

Language:

english

File:

PDF, 141 KB

english, 2014

22

Static Fault Localization in Model Transformations

Burgueno, Loli, Troya, Javier, Wimmer, Manuel, Vallecillo, Antonio

Journal:

IEEE Transactions on Software Engineering

Year:

2015

Language:

english

File:

PDF, 692 KB

english, 2015

23

Aging and Heart Rate in Heart Failure: Clinical Implications for Long-term Mortality

Lupón, Josep, Domingo, Mar, de Antonio, Marta, Zamora, Elisabet, Santesmases, Javier, Díez-Quevedo, Crisanto, Altimir, Salvador, Troya, Maribel, Gastelurrutia, Paloma, Bayes-Genis, Antoni

Journal:

Mayo Clinic Proceedings

Year:

2015

Language:

english

File:

PDF, 432 KB

english, 2015

24

[IEEE 2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - Graz, Austria (2015.4.13-2015.4.17)] 2015 IEEE Eighth International Conference on Software Testing, Verification and Validation Workshops (ICSTW) - Towards systematic mutations for and with ATL model transformations

Troya, Javier, Bergmayr, Alexander, Burgueno, Loli, Wimmer, Manuel

Year:

2015

Language:

english

File:

PDF, 817 KB

english, 2015

25

Anonymous attribute certificates based on traceable signatures

Gritzalis, Stefanos, Benjumea, Vicente, Lopez, Javier, Troya, Jose M.

Journal:

Internet Research

Year:

2006

File:

PDF, 5 KB

2006

26

[ACM Press the 2010 Spring Simulation Multiconference - Orlando, Florida (2010.04.11-2010.04.15)] Proceedings of the 2010 Spring Simulation Multiconference on - SpringSim '10 - Simulating domain specific visual models by observation

Troya, Javier, Rivera, José E., Vallecillo, Antonio

Year:

2010

Language:

english

File:

PDF, 1.30 MB

english, 2010

27

[ACM Press the 29th ACM/IEEE international conference - Vasteras, Sweden (2014.09.15-2014.09.19)] Proceedings of the 29th ACM/IEEE international conference on Automated software engineering - ASE '14 - From out-place transformation evolution to in-place model patching

Bergmayr, Alexander, Troya, Javier, Wimmer, Manuel

Year:

2014

Language:

english

File:

PDF, 504 KB

english, 2014

28

[IEEE 2014 6th IEEE Latin-American Conference on Communications (LATINCOM) - Cartagena de Indias, Colombia (2014.11.5-2014.11.7)] 2014 IEEE Latin-America Conference on Communications (LATINCOM) - Vulnerability detection in 802.11i wireless networks through link layer analysis

Troya, Andres S, Astudillo, Jaime J, Romero, Carlos G, Saenz, Fabian G, Diaz, Javier

Year:

2014

Language:

english

File:

PDF, 789 KB

english, 2014

29

Complicaciones y pronóstico de pacientes ancianos diagnosticados de meningioma intracraneal

Troya Castilla, Marta, Chocrón Gonzalez, Yamin, Márquez Rivas, Francisco Javier

Journal:

Revista Española de Geriatría y Gerontología

Year:

2015

File:

PDF, 374 KB

2015

30

[IEEE 2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS) - Ottawa, ON, Canada (2015.9.30-2015.10.2)] 2015 ACM/IEEE 18th International Conference on Model Driven Engineering Languages and Systems (MODELS) - Fully verifying transformation contracts for declarative ATL

Oakes, Bentley James, Troya, Javier, Lucio, Levi, Wimmer, Manuel

Year:

2015

Language:

english

File:

PDF, 377 KB

english, 2015

31

Weight Loss in Obese Patients With Heart Failure

Zamora, Elisabet, Díez‐López, Carles, Lupón, Josep, de Antonio, Marta, Domingo, Mar, Santesmases, Javier, Troya, María Isabel, Díez‐Quevedo, Crisanto, Altimir, Salvador, Bayes‐Genis, Antoni

Journal:

Journal of the American Heart Association

Year:

2016

Language:

english

File:

PDF, 903 KB

english, 2016

32

[ACM Press Companion the 15th International Conference - Málaga, Spain (2016.03.14-2016.03.17)] Companion Proceedings of the 15th International Conference on Modularity - MODULARITY Companion 2016 - Towards generic modularization transformations

Fleck, Martin, Troya, Javier, Wimmer, Manuel

Year:

2016

Language:

english

File:

PDF, 621 KB

english, 2016

33

Hemoglobin Kinetics and Long-term Prognosis in Heart Failure

Díez-López, Carles, Lupón, Josep, de Antonio, Marta, Zamora, Elisabet, Domingo, Mar, Santesmases, Javier, Troya, Maria-Isabel, Boldó, Maria, Bayes-Genis, Antoni

Journal:

Revista Española de Cardiología (English Edition)

Year:

2016

Language:

english

File:

PDF, 255 KB

english, 2016

34

Refractory acne keloidalis nuchae treated with radiotherapy

Millán-Cayetano, José Francisco, Repiso-Jiménez, Juan Bosco, del Boz, Javier, de Troya-Martín, Magdalena

Journal:

Australasian Journal of Dermatology

Year:

2015

Language:

english

File:

PDF, 313 KB

english, 2015

35

Individualized Dosing of Oral Oxybutynin for the Treatment of Primary Focal Hyperhidrosis in Children and Teenagers

del Boz, Javier, Millán-Cayetano, José Francisco, Blázquez-Sánchez, Nuria, de Troya, Magdalena

Journal:

Pediatric Dermatology

Year:

2016

Language:

english

File:

PDF, 76 KB

english, 2016

36

Oral oxybutynin for the treatment of hyperhidrosis: outcomes after one-year follow-up

Millán-Cayetano, José Francisco, del Boz, Javier, Rivas-Ruiz, Francisco, Blázquez-Sánchez, Nuria, Hernández Ibáñez, Carlos, de Troya-Martín, Magdalena

Journal:

Australasian Journal of Dermatology

Year:

2016

Language:

english

File:

PDF, 106 KB

english, 2016

37

Full contract verification for ATL using symbolic execution

Oakes, Bentley James, Troya, Javier, Lúcio, Levi, Wimmer, Manuel

Journal:

Software & Systems Modeling

Year:

2016

Language:

english

File:

PDF, 4.93 MB

english, 2016

38

Cinética de la hemoglobina y pronóstico a largo plazo en insuficiencia cardiaca

Díez-López, Carles, Lupón, Josep, de Antonio, Marta, Zamora, Elisabet, Domingo, Mar, Santesmases, Javier, Troya, Maria-Isabel, Boldó, Maria, Bayes-Genis, Antoni

Journal:

Revista Española de Cardiología

Year:

2016

File:

PDF, 321 KB

2016

39

A secure solution for commercial digital libraries

Yagüe, Mariemma I., Maña, Antonio, López, Javier, Pimentel, Ernesto, Troya, José M.

Journal:

Online Information Review

Year:

2003

Language:

english

File:

PDF, 527 KB

english, 2003

40

Search-based model transformations

Fleck, Martin, Troya, Javier, Wimmer, Manuel

Journal:

Journal of Software Evolution and Process

Year:

2016

Language:

english

File:

PDF, 3.39 MB

english, 2016

41

[ACM Press the Fourth International Workshop - Innsbruck, Austria (2012.10.01-2012.10.05)] Proceedings of the Fourth International Workshop on Nonfunctional System Properties in Domain Specific Modeling Languages - NFPinDSML '12 - A domain specific visual language for modeling power-aware reliability in wireless sensor networks

Troya, Javier, Vallecillo, Antonio

Year:

2012

Language:

english

File:

PDF, 548 KB

english, 2012

42

Model Transformation Modularization as a Many-Objective Optimization Problem

Fleck, Martin, Troya, Javier, Kessentini, Marouane, Wimmer, Manuel, Alkhazi, Bader

Journal:

IEEE Transactions on Software Engineering

Year:

2017

Language:

english

File:

PDF, 7.15 MB

english, 2017

43

Initial study of transdermal oxybutynin for treating hyperhidrosis

Millán-Cayetano, José Francisco, del Boz, Javier, Toledo-Pastrana, Tomas, Nieto-Guindo, Miriam, García-Montero, Pablo, de Troya-Martín, Magdalena

Journal:

The Journal of Dermatology

Year:

2017

Language:

english

File:

PDF, 106 KB

english, 2017

44

Recovered heart failure with reduced ejection fraction and outcomes: a prospective study

Lupón, Josep, Díez-López, Carles, de Antonio, Marta, Domingo, Mar, Zamora, Elisabet, Moliner, Pedro, González, Beatriz, Santesmases, Javier, Troya, Maria I., Bayes-Genis, Antoni

Journal:

European Journal of Heart Failure

Year:

2017

Language:

english

File:

PDF, 738 KB

english, 2017

45

Automated Inference of Likely Metamorphic Relations for Model Transformations

Troya, Javier, Segura, Sergio, Ruiz-Cortés, Antonio

Journal:

Journal of Systems and Software

Year:

2017

Language:

english

File:

PDF, 3.52 MB

english, 2017

46

[IEEE 2017 IEEE/ACM 2nd International Workshop on Metamorphic Testing (MET) - Buenos Aires, Argentina (2017.5.22-2017.5.22)] 2017 IEEE/ACM 2nd International Workshop on Metamorphic Testing (MET) - A Template-Based Approach to Describing Metamorphic Relations

Segura, Sergio, Duran, Amador, Troya, Javier, Cortes, Antonio Ruiz

Year:

2017

Language:

english

File:

PDF, 158 KB

english, 2017

47

[IEEE 2017 IEEE/ACM 39th International Conference on Software Engineering: New Ideas and Emerging Technologies Results Track (ICSE-NIER) - Buenos Aires, Argentina (2017.5.20-2017.5.28)] 2017 IEEE/ACM 39th International Conference on Software Engineering: New Ideas and Emerging Technologies Results Track (ICSE-NIER) - Performance Metamorphic Testing: Motivation and Challenges

Segura, Sergio, Troya, Javier, Duran, Amador, Ruiz-Cortes, Antonio

Year:

2017

Language:

english

File:

PDF, 152 KB

english, 2017

48

Glicopirrolato en el tratamiento de la hiperhidrosis primaria. Cuándo y cómo

Millán-Cayetano, José Francisco, del Boz, Javier, de Troya-Martín, Magdalena

Journal:

Year:

2017

File:

PDF, 228 KB

2017

49

Survival study of treatment adherence by patients given oral oxibutynin for hyperhidrosis

Millán-Cayetano, José Francisco, del Boz, Javier, García-Montero, Pablo, García-Harana, Cristina, Rivas Ruiz, Francisco, de Troya-Martín, Magdalena

Journal:

Journal of the European Academy of Dermatology and Venereology

Year:

2017

Language:

english

File:

PDF, 156 KB

english, 2017

50

A local and global tour on MOMoT

Bill, Robert, Fleck, Martin, Troya, Javier, Mayerhofer, Tanja, Wimmer, Manuel

Journal:

Software & Systems Modeling

Year:

2017

Language:

english

File:

PDF, 2.86 MB

english, 2017